Coalitions in Action Logic
نویسنده
چکیده
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and the actions of the agents has not been studied in the literature. This paper fills the gap by presenting a semantic translation from Pauly’s Coalition Logic to a (fragment of an) action logic. The interpretation of the empty coalition in Pauly’s system and the representation of the notion of ability are discussed.
منابع مشابه
Neo-Liberalism, Policy Incoherence and Discourse Coalitions Influencing Non-Communicable Disease Strategy; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Lencucha and Thow have highlighted the way in which neo-liberalism is enshrined within institutional mechanisms and conditions the policy environment to shape public policy on non-communicable diseases (NCDs). They critique the strong (but important) focus of public health policy research on corporate interests and influence over NCD policy, and point toward neo-liberal...
متن کاملA Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency DLA. Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic ATL and Coalition Logic, in DLA cooperation modalities for expressin...
متن کاملAlternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators are parametrised with regular expressions over coalitions and tests. Such regular expressions describe the dynamic structure of a coalition. This means that, when moving from Dynamic Logic to ADL, the focus shifts away...
متن کاملA Logic for Coalitions with Bounded Resources
Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and ...
متن کاملSocial Viewpoints for Arguing about Coalitions
Frameworks for arguing about coalitions are based on non-monotonic logic and are therefore formal and abstract, whereas social theories about agent coalitions typically are based on conceptual modeling languages and therefore semi-formal and detailed. In this paper we bridge the gap between these two research areas such that social viewpoints can be used to argue about coalitions. We formally d...
متن کامل